given control-flow graph代写